Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
381	BDI Agents: From Theory to Practice April, 1995 Technical Note 56 By: Add to Reading List Source URL: www.agent.ai Language: English - Date: 2005-05-21 21:47:37 Computing Procedural reasoning system Belief–desire–intention model Action theory Reasoning system Motivation Agent-based model Belief–desire–intention software model Artificial intelligence Multi-agent systems Science
382	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
383	School of Computer Science and IT Editor: Dr Jon Garibaldi Automated Scheduling, Optimisation and Planning (ASAP) Research Group School of Computer Science and Information Technology The University of Nottingham Add to Reading List Source URL: www.asap.cs.nott.ac.uk Language: English - Date: 2012-03-24 15:11:14 Applied mathematics Mathematical optimization Reasoning Problem solving Automated theorem proving Hyper-heuristic Graham Kendall Memetic algorithm Reasoning system Science Operations research Artificial intelligence
384	An Integrated Interface for Proactive, Experience-Based Design Support David B. Leake Larry Birnbaum Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-06-20 15:39:22 Critical thinking Inductive reasoning Reasoning Intelligent design Human factors Design Decision support system User interface Ethology Knowledge Science Case-based reasoning
385	Using Case Provenance to Propagate Feedback to Cases and Adaptations⋆ David Leake and Scott A. Dial Computer Science Department, Lindley Hall 215 Indiana University Bloomington, IN 47405, U.S.A. Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-05-15 18:49:55 Inductive reasoning Reasoning Neural networks Case-based reasoning Critical thinking Provenance Feedback Reasoning system Algorithm Statistics Science Artificial intelligence
386	Proceedings of ECCBR-02, Springer-Verlag. Not camera-identical to published version. Automatically Selecting Strategies for Multi-Case-Base Reasoning? David B. Leake1 and Raja Sooriamurthi2 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2002-07-07 12:17:38 Applied mathematics Theoretical computer science Operations research Case-based reasoning Critical thinking Reasoning system Mathematical optimization Best worst and average case Algorithm Artificial intelligence Inductive reasoning Reasoning
387	Introduction to the Computational Intelligence Special Issue to Appear in[removed]Maintaining Case-Based Reasoning Systems Case-based reasoning (CBR) is the process of reasoning and learning by storing prior cases\|records Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-01-23 20:12:44 Reasoning Cognition Case-based reasoning Critical thinking Maintenance Reasoning system Case study Maintenance repair and operations Cyc Science Artificial intelligence Inductive reasoning
388	Task-Based Knowledge Management D. Leake L. Birnbaum & K. Hammond C. Marlow Computer Science Intelligent Information Laboratory Computer Science Lindley Hall Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1999-04-21 23:55:39 Knowledge Ethology Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Knowledge management Expert system Relevance Science Critical thinking Information systems
389	Constructing and Transforming CBR Implementations: Techniques for Corporate Memory Management Arijit Sengupta and David C. Wilson and David B. Leake Computer Science Department Lindley Hall, Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1999-07-10 21:36:12 Information Data Markup languages Technical communication Inductive reasoning Case-based reasoning XML Reasoning system Database Computing Reasoning Database management systems
390	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science

UPDATE